1

A New Interpretation of the von Mises' Concept of Random Sequence

Year:
1966
Language:
english
File:
PDF, 1.01 MB
english, 1966
2

A machine program for theorem-proving

Year:
1962
Language:
english
File:
PDF, 408 KB
english, 1962
3

The heart of computer science

Year:
1974
Language:
english
File:
PDF, 118 KB
english, 1974
5

Mechanical Theorem-Proving by Model Elimination

Year:
1968
Language:
english
File:
PDF, 959 KB
english, 1968
7

Near-Horn Prolog and the ancestry family of procedures

Year:
1995
Language:
english
File:
PDF, 1.33 MB
english, 1995
8

Matching when the number of response alternatives is large

Year:
1974
Language:
english
File:
PDF, 567 KB
english, 1974
10

Performance bounds for binary testing with arbitrary weights

Year:
1985
Language:
english
File:
PDF, 686 KB
english, 1985
12

Erratum: “Mechanical theorem-proving by model elimination”

Year:
1969
Language:
english
File:
PDF, 52 KB
english, 1969
15

Mark Stickel: His Earliest Work

Year:
2016
Language:
english
File:
PDF, 507 KB
english, 2016
16

A comparison of three PROLOG extensions

Year:
1992
Language:
english
File:
PDF, 1.89 MB
english, 1992
19

Hunger and contrast in a multiple schedule1

Year:
1974
Language:
english
File:
PDF, 894 KB
english, 1974
23

Near-Horn Prolog and beyond

Year:
1991
Language:
english
File:
PDF, 1.50 MB
english, 1991
25

Stability of some phenothiazine free radicals

Year:
1972
Language:
english
File:
PDF, 899 KB
english, 1972
30

SATCHMOREBID: SATCHMO(RE) with BIDirectional relevancy

Year:
2003
Language:
english
File:
PDF, 1.76 MB
english, 2003
31

Logic for Problem Solvingby Robert Kowalski

Year:
1982
Language:
english
File:
PDF, 98 KB
english, 1982
33

Finding critical sets

Year:
1987
Language:
english
File:
PDF, 575 KB
english, 1987
35

SATCHMORE: SATCHMO with RElevancy

Year:
1995
Language:
english
File:
PDF, 1.87 MB
english, 1995
36

Titration of punishment

Year:
1971
Language:
english
File:
PDF, 469 KB
english, 1971
41

Random Sets in Subrecursive Hierarchies.by Robert A. DiPaola

Year:
1975
Language:
english
File:
PDF, 114 KB
english, 1975